(also nonabelian homological algebra)
Context
Basic definitions
Stable homotopy theory notions
Constructions
Lemmas
Homology theories
Theorems
A full subcategory of an abelian category is a Serre subcategory if it is nonempty and for any exact sequence
is in if and are in .
(Terminology) This notion in general is called a thick subcategory in Gabriel’s thesis, Des Catégories Abéliennes. The terminology is a minefield as there are variants that occur in the literature, see thick subcategory, and also the Stack’s Project section on this. Some of these variants are mentioned below.
Following Serre 1953, one then defines the category whose objects are the objects of and where the morphisms in are defined by
where the colimit is over all in such that and are in . The quotient category is abelian.
Very often the same definition of Serre subcategory is used in an arbitrary abelian category (we will say in that case weakly Serre subcategory); but in fact, at least when the abelian category is not a Grothendieck category, it is more appropriate to ask for an additional condition in the definition of Serre subcategory, so that the standard theorems on correspondences with other canonical data in localization theory remain valid.
To this aim, for any subcategory of an arbitrary abelian category one denotes by the full subcategory of generated by all objects for which any (nonzero) subquotient of in has a (nonzero) subobject from . This becomes an idempotent operation on the class of subcategories of with iff is topologizing. Moreover is always thick in the stronger sense (that is, thick and topologizing).
Serre subcategories in the strong sense are those nonempty full subcategories which are stable under the operation .
Serre considered such a class in the case of the category of abelian groups
Jean-Pierre Serre, Groupes d’homotopie et classes de groupes abéliens, Annals of Mathematics
Second Series 58 2 (1953) 258-294 [doi:10.2307/1969789]
Last revised on August 22, 2024 at 10:16:01. See the history of this page for a list of all contributions to it.